Sign in
European Workshop on Applications and Theory of Petri Nets
1982
1984
1986
1988
1982
1988
Keyphrases
Publications
volume 340, 1988
Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers
European Workshop on Applications and Theory of Petri Nets
340 (1988)
1987
Astrid Kiehn
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.
European Workshop on Applications and Theory of Petri Nets
(1987)
Goffredo Haus
,
Antonio Rodriguez
Music Description and Processing by Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
J. L. Lambert
Some Consequences of the Decidability of the Reachability Problem for Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
D. Quichaud
,
Philippe Chrétienne
Performance Evaluation of Interpreted Bipolar Synchronization Schemes Using G. E. R. T..
European Workshop on Applications and Theory of Petri Nets
(1987)
Peter Graubmann
The Construction of EN Systems from a Given Trace Behavior.
European Workshop on Applications and Theory of Petri Nets
(1987)
Dirk Taubner
On the Implementation of Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
Marco Baldassari
,
Giorgio Bruno
An Environment for Object- oriented Conceptual Programming Based on PROT Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
Manuel Silva Suárez
,
José Manuel Colom
On the Computation of Structural Synchronic Invariants in P/T Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
Ignacio Lopez
,
M. Carmen Palaez
Experiences in the Use of Galileo to Design Telecommunication Systems.
European Workshop on Applications and Theory of Petri Nets
(1987)
Pascal A. Remy
,
Alexander H. Levis
On the Generation of Organizational Architectures Using Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
Edward Ochmanski
Occurrence Traces: Processes of Elementary Net Systems.
European Workshop on Applications and Theory of Petri Nets
(1987)
Eugenio Battiston
,
Fiorella de Cindio
,
Giancarlo Mauri
OBJSA Nets: a Class of High- level Nets Having Objects as Domains.
European Workshop on Applications and Theory of Petri Nets
(1987)
Gerog Hartung
Programming a Closely Coupled Multiprocessor System with Hight Level Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
Antoni W. Mazurkiewicz
Compositional Semantics of Pure Place/ Transition Systems.
European Workshop on Applications and Theory of Petri Nets
(1987)
J. Carlier
,
Philippe Chrétienne
Timed Petri net schedules.
European Workshop on Applications and Theory of Petri Nets
(1987)
Bernd Baumgarten
On Internal and External Characterizations of PT- net Building Block Behaviors.
European Workshop on Applications and Theory of Petri Nets
(1987)
Violetta Koseska-Toszewa
,
Antoni W. Mazurkiewicz
Net Representation of Sentences in Natural Languages.
European Workshop on Applications and Theory of Petri Nets
(1987)
Rodney R. Howell
,
Louis E. Rosier
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
Pierpaolo Degano
,
Roberto Gorrieri
,
Sergio Marchetti
An Exercise in Concurrency: a CSP Process as a Condition/ event System.
European Workshop on Applications and Theory of Petri Nets
(1987)
Alain Finkel
,
Louis E. Rosier
A Survey on the Decidability Questions for Classes of FIFO Nets.
European Workshop on Applications and Theory of Petri Nets
(1987)
1986
Claude Girault
,
C. Chatelain
,
Serge Haddad
Specification and properties of a cache coherence protocol model.
European Workshop on Applications and Theory of Petri Nets
(1986)
Serge Haddad
,
Claude Girault
Algebraic structure of flows of a regular coloured net.
European Workshop on Applications and Theory of Petri Nets
(1986)
Fritz Krückeberg
,
Michael Jaxy
Mathematical methods for calculating invariants in Petri nets.
European Workshop on Applications and Theory of Petri Nets
(1986)
Elisabeth Pelz
Infinitary languages of Petri nets and logical sentences.
European Workshop on Applications and Theory of Petri Nets
(1986)
C. A. Petri
,
Einar Smith
Concurrency and continuity.
European Workshop on Applications and Theory of Petri Nets
(1986)
Rodney R. Howell
,
Louis E. Rosier
Recent results on the complexity of problems related to Petri nets.
European Workshop on Applications and Theory of Petri Nets
(1986)
Marco Ajmone Marsan
,
Giovanni Chiola
On Petri nets with deterministic and exponentially distributed firing times.
European Workshop on Applications and Theory of Petri Nets
(1986)
Wolfgang Reisig
A strong part of concurrency.
European Workshop on Applications and Theory of Petri Nets
(1986)
Ryszard Janicki
,
Maciej Koutny
On equivalent execution semantics of concurrent systems.
European Workshop on Applications and Theory of Petri Nets
(1986)
Fiorella de Cindio
,
Giorgio De Michelis
,
Carla Simone
GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems.
European Workshop on Applications and Theory of Petri Nets
(1986)
Erik Meijer
Petri net models for the lambda-calculus.
European Workshop on Applications and Theory of Petri Nets
(1986)
Jacques Vautherin
Parallel systems specitications with coloured Petri nets and algebraic specifications.
European Workshop on Applications and Theory of Petri Nets
(1986)
Marco Ajmone Marsan
,
Giovanni Chiola
,
Andrea Fumagalli
An accurate performance model of CSMA/CD bus LAN.
European Workshop on Applications and Theory of Petri Nets
(1986)
Ernst-Rüdiger Olderog
Operational Petri net semantics for CCSP.
European Workshop on Applications and Theory of Petri Nets
(1986)
Stefan Drees
,
Dominik Gomm
,
Helmut Plünnecke
,
Wolfgang Reisig
,
Rolf Walter
Bibliography of Petri nets.
European Workshop on Applications and Theory of Petri Nets
(1986)
Agathe Merceron
Fan processes.
European Workshop on Applications and Theory of Petri Nets
(1986)
volume 66, 1983
Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982
European Workshop on Applications and Theory of Petri Nets
66 (1983)
1982
César Fernández
,
P. S. Thiagarajan
A Note on D-Continuous Causal Nets.
European Workshop on Applications and Theory of Petri Nets
(1982)
Wolfgang Reisig
Petri Nets with Individual Tokens.
European Workshop on Applications and Theory of Petri Nets
(1982)
Matthias Jantzen
,
Hendrik Bramhoff
Notions of Computability by Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1982)
Hartmann J. Genrich
,
Robert M. Shapiro
A Diagram Editor for Line Drawings with Inscriptions.
European Workshop on Applications and Theory of Petri Nets
(1982)
Marc Courvoisier
A Matrix-Based Implementation of Generalized Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1982)
Fiorella de Cindio
,
Giorgio De Michelis
,
Lucia Pomello
,
Carla Simone
Equivalence Notions for Concurrent Systems.
European Workshop on Applications and Theory of Petri Nets
(1982)
Grzegorz Rozenberg
,
R. Verraedt
Subset Languages of Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1982)
Pascal Estraillier
,
Claude Girault
Petri Nets Specification of Virtual Ring Protocols.
European Workshop on Applications and Theory of Petri Nets
(1982)
Fiorella de Cindio
,
Giorgio De Michelis
,
Lucia Pomello
,
Carla Simone
Milner's Communicating Systems and Petri Nets.
European Workshop on Applications and Theory of Petri Nets
(1982)
Rainer Prinoth
Construction of Distributed Systems from Cycle-Free Finite Automata.
European Workshop on Applications and Theory of Petri Nets
(1982)
Gérard Memmi
A Graph Theoretical Porperty for Minimal Deadlock.
European Workshop on Applications and Theory of Petri Nets
(1982)
Klaus Voss
On the Notion of Interface in Condition/Event-Systems.
European Workshop on Applications and Theory of Petri Nets
(1982)