-
3
-
-
0024645936
-
Petri nets: Properties, Analysis and Applications
-
T. Murata. Petri nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4), 1989, 541-580.
-
(1989)
Proc. of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
4
-
-
0003351521
-
On the implementation of Petri Nets
-
Advances in Petri Nets, of, Springer-Verlag, Berlin, Germany
-
D. Taubner. On the implementation of Petri Nets. Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Sciences, pages 418-419, Springer-Verlag, Berlin, Germany, 1988.
-
(1988)
Lecture Notes in Computer Sciences
, vol.340
, pp. 418-419
-
-
Taubner, D.1
-
5
-
-
0022670962
-
Process-translatable Petri Nets for the rapid prototyping of Process Conrol Systems
-
February
-
G. Bruno, G. Marchetto. Process-translatable Petri Nets for the rapid prototyping of Process Conrol Systems. IEEE Transactions on software Engineering, Vol. SE-12, N0.2. pages 346-357. February 1986.
-
(1986)
IEEE Transactions on software Engineering
, vol.SE-12
, Issue.N0.2
, pp. 346-357
-
-
Bruno, G.1
Marchetto, G.2
-
6
-
-
50149118417
-
Reseaux de Petri
-
G.W. Brams, editor, Masson
-
G.W. Brams, editor. Reseaux de Petri. Theorie et practique. Masson, 1983.
-
(1983)
Theorie et practique
-
-
-
7
-
-
85027489945
-
-
J.L. Briz and J.M. Colom. Implementation of Weighted Place / Transition Nets based on Linear Enabling Functions. Proc of 15th International Conference on Applications and Theory of Petri Nets. pages 99-118. Univ. Zaragoza, 1994.
-
J.L. Briz and J.M. Colom. Implementation of Weighted Place / Transition Nets based on Linear Enabling Functions. Proc of 15th International Conference on Applications and Theory of Petri Nets. pages 99-118. Univ. Zaragoza, 1994.
-
-
-
-
8
-
-
0003126559
-
On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages
-
Oxford, July
-
J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc of 7th European Workshop on Application and Theory of Petri Nets, pages 207-241, Oxford, July 1986.
-
(1986)
Proc of 7th European Workshop on Application and Theory of Petri Nets
, pp. 207-241
-
-
Colom, J.M.1
Silva, M.2
Villarroel, J.L.3
-
9
-
-
29144493967
-
-
A. Borg, A. Wellings A Real-Time RMI Framework for the RTSJ. Proceedings of the 15th Euromicro Conference on Real Time Systems. Porto, July 2003
-
A. Borg, A. Wellings A Real-Time RMI Framework for the RTSJ. Proceedings of the 15th Euromicro Conference on Real Time Systems. Porto, July 2003
-
-
-
-
10
-
-
57849142641
-
RT-EP: Real-Time Ethernet Protocol for Analyzable Distributed Applications on a Minimum Real-Time POSIX Kernel
-
Porto Portugal, July
-
J.M. Martínez, M. González Harbour, and J.J. Gutiérrez. "RT-EP: Real-Time Ethernet Protocol for Analyzable Distributed Applications on a Minimum Real-Time POSIX Kernel". Proceedings of the 2nd International Workshop on Real-Time LANs in the Internet Age, RTLIA 2003, Porto (Portugal), July 2003.
-
(2003)
Proceedings of the 2nd International Workshop on Real-Time LANs in the Internet Age, RTLIA
-
-
Martínez, J.M.1
González Harbour, M.2
Gutiérrez, J.J.3
-
11
-
-
0003644553
-
-
The Real-Time for Java Expert Group, Addison Wesley
-
The Real-Time for Java Expert Group. The Real-time Specification for Java, https://rtsj.dev.java.net/. Addison Wesley, 2000.
-
(2000)
The Real-time Specification for Java
-
-
-
14
-
-
57849140975
-
-
F.J. García, J.L. Villarroel: Decentralized Implementation of Real-Time Systems Using Time Petri Nets. Application to Mobile Robot Control. Proc. 5th IFAC Workshop on Algorithms and Architectures for Real-time Control AARTC'98. pp. 11-16, Cancún, México. April 1998.
-
F.J. García, J.L. Villarroel: "Decentralized Implementation of Real-Time Systems Using Time Petri Nets. Application to Mobile Robot Control". Proc. 5th IFAC Workshop on Algorithms and Architectures for Real-time Control AARTC'98. pp. 11-16, Cancún, México. April 1998.
-
-
-
-
17
-
-
57849105248
-
-
Hilscher GmbH
-
Hilscher GmbH. PC cards. http://www.hilscher.com
-
PC cards
-
-
|