default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th APN 1985: Espoo, Finland
- Grzegorz Rozenberg:
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers. Lecture Notes in Computer Science 222, Springer 1986, ISBN 3-540-16480-4 - Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth:
The signing of a contract - a tree-structured application. 1-18 - Gérard Berthelot:
Checking properties of nets using transformation. 19-40 - Gérard Boudol, Gérard Roucairol, Robert de Simone:
Petri nets and algebraic calculi of processes. 41-58 - Hans-Dieter Burkhard:
Fair controls and their realization. 59-82 - Luca A. Castellano:
Beta processes of C/E systems. 83-100 - Yuan Chong-Yi:
Synhronic distances in C/E systems. 101-121 - Yuan Chong-Yi:
Process periods and system reconstruction. 122-141 - G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano:
Guidelines on using net analysis techniques with large specifications. 142-161 - Ludwik Czaja:
Making nets abstract and structures. 181-202 - Frits Feldbrugge:
Petri net tools. 203-223 - Hartmann J. Genrich:
Projections of C/E systems. 224-232 - Ursula Goltz, Yuan Chong-Yi:
Synchronic structure - a tutorial. 233-252 - Dirk Hauschildt, Rüdiger Valk:
Safe states in banker like resource allocation problems. 253-277 - Anatol W. Holt:
Coordination technology and Petri nets. 278-296 - Kurt Jensen, Erik Meineche Schmidt:
Pascal semantics by a combination of denotational semantics and high-level Petri nets. 297-329 - Y. Narahari, Nukala Viswanadham:
On the invariants of coloured Petri nets. 330-345 - Michel Parigot, Elisabeth Pelz:
A logical formalism for the study of the infinite behaviour of Petri nets. 346-361 - Helmut Plünnecke:
Determination of a poset by its co-relation. 362-380 - Lucia Pomello:
Some equivalence notions for concurrent systems. An overview. 381-400 - Gernot Richter, Klaus Voss:
Towards a comprehensive office model integrating information and resources. 401-417 - Jacques Vautherin:
Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. 418-434 - Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour:
Protocol analysis using numerical Petri nets. 435-452 - Glynn Winskel:
Petri nets, morphisms and compositionality. 453-477 - Wlodzimierz M. Zuberek:
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets. 478-498
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-23 23:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
